A Study in Automatic Debugging of Compilers '
نویسنده
چکیده
Automatic debugging is examined in the context of compiler correctness. A system is described whose goal is to prove the correctness of translations involving heuristically optimized code. Use of the system in automatically pinpointing errors is demonstrated along with a discussion of the prospects -~-----of automatic debugging of a complex program that was incorrectly translated. The actual debugging procedure is seen to take several iterations at the end of which a correctly translated program is obtained.
منابع مشابه
Multi-level Debugging for Multi-stage, Parallelizing Compilers
A multi-stage compilation framework transforms portions of programs written in a productivity-level language into an efficiency-level language, such as C, with explicit hardwarespecific optimizations. It is challenging for compiler programmers to debug errors in the compilation because they must perform complicated end-to-end reasoning, relating the programs across the multiple stages of compil...
متن کاملThe HPCVL Working Template: A Development Tool for Parallel Programming
This manual explains the structure and usage of the HPCVL Working Template for parallel programming that was developed by Gang Liu. The HPCVL Working Template (in the following abbreviated to HWT) is a set of scripts and routines that provide a simple and portable tool for version maintenance, timing and automatic relative debugging of programs that are designed to run on parallel computers. Th...
متن کاملProgram Sequentially, Carefully, and Benefit from Compiler Advances for Parallel Heterogeneous Computing
The current microarchitecture trend leads toward heterogeneity. This evolution is driven by the end of Moore’s law and the frequency wall due to the power wall. Moreover, with the spreading of smartphone, some constraints from the mobile world drive the design of most new architectures. An immediate consequence is that an application has to be executable on various targets. Porting and maintain...
متن کاملWriting compilers and interpreters - an applied approach
A practical guide to writing interpreters and compilers. Shows how to write a series of useful utilities, including an interactive debugging interpreter and a working compiler, in a top-down, incremental fashion....
متن کاملGenerating Decompilers
Compiler compilers are in widespread use, but decompiler compilers are a more novel concept. This paper sets out a technique for the decompilation of object code back to source code, and describes a working decompiler generator. Existing and potential applications include reverse engineering, quality assessment, debugging and safety-critical code validation or veri cation.
متن کامل